Synthesis for Multi-Objective Stochastic Games: An Application to Autonomous Urban Driving Taolue Chen, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, Unite

Source URL: www.prismmodelchecker.org

• Mathematical analysis
• Mathematics
• Statistical randomness
• Measure theory
• Boolean algebra
• Experiment
• Sigma-algebra
• Markov chain
• Determinacy
• Linear temporal logic
• Stochastic game
• Markov decision process

Mixed Discrete-Continuous Planning with Complex Behaviors Enrique Fernandez-Gonzalez Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory 32 Vassar Street, Building, Cambri

Source URL: icaps16.icaps-conference.org

• Control theory
• Systems science
• Automated planning and scheduling
• Classical control theory
• Metaphysics
• Mathematical optimization
• Systems theory
• Nonlinear system
• Planning Domain Definition Language
• Motion planning
• Controllability
• Trajectory optimization

Poster: IoTcube: An Automated Analysis Platform for Finding Security Vulnerabilities Seulbae Kim, Seunghoon Woo, Heejo Lee, Hakjoo Oh Department of Computer Science and Engineering Korea University Seoul, Korea

Source URL: www.ieee-security.org

• Software testing
• Computer security
• Security engineering
• Cyberwarfare
• Cybercrime
• Computer network security
• Fuzzing
• Software bugs
• Application security
• Vulnerability
• Internet of things
• Heartbleed

Deadline-Aware Multipath Communication: An Optimization Problem Laurent Chuat∗ , Adrian Perrig∗ , Yih-Chun Hu† of Computer Science, ETH Zurich, Switzerland † Department of Electrical and Computer Engineering, Uni

Source URL: www.netsec.ethz.ch

• Computing
• Information theory
• Information and communications technology
• Telecommunications engineering
• Data transmission
• Network performance
• Computer networking
• Internet architecture
• Multipath routing
• Transmission Control Protocol
• Packet loss
• Routing

Calibrating the Classifier: Siamese Neural Network Architecture for End-to-End Arousal Recognition from ECG Andrea Patan`e and Marta Kwiatkowska Department of Computer Science, University of Oxford

Source URL: qav.comlab.ox.ac.uk

• Artificial neural networks
• Computational neuroscience
• Applied mathematics
• Neuroscience
• Cybernetics
• Computational statistics
• Market research
• Deep learning
• Heart rate variability
• Emotion recognition
• Recurrent neural network
• Affective computing

Jamie Hayes Contact Information University College London Dept. of Computer Science

Source URL: www.homepages.ucl.ac.uk

• Computing
• Internet
• Free software
• Adversarial machine learning
• Computer security
• Machine learning
• Privacy
• Internet privacy
• Deep learning
• Tor

Complex Patterns in Dynamic Attributed Graphs Rina Singh, Jeffrey A. Graves, Douglas A. Talbert Department of Computer Science Tennessee Technological University Cookeville, TN USA

Source URL: gdac.uqam.ca

• Graph theory
• Mathematics
• Discrete mathematics
• Directed graph
• Graph
• Centrality
• Topological graph theory
• Degree
• Sequence
• Sequential pattern mining
• Directed acyclic graph
• Pathwidth

An Offline Capture The Flag-Style Virtual Machine and an Assessment of its Value for Cybersecurity Education Tom Chothia School of Computer Science University of Birmingham, UK

Source URL: www.cs.bham.ac.uk

• Education
• Educational psychology
• Human behavior
• Educational assessment
• Flag
• Capture the flag
• Exercise
• CTFS
• VM
• Formative assessment
• Educational technology
• Test

A Practical Testing Framework for Isolating Hardware Timing Channels Jason Oberg∗ , Sarah Meiklejohn∗ , Timothy Sherwood† and Ryan Kastner∗ ∗ Computer Science and Engineering, University of California, San Die

Source URL: smeiklej.com

• Information flow
• Information theory
• CPU cache
• Flow
• Timing attack
• Mathematical model
• Mathematics
• Computing
• Knowledge

STATEMENT OF PROF. KEVIN FU, PH.D. DEPARTMENT OF ELECTRICAL ENGINEERING & COMPUTER SCIENCE UNIVERSITY OF MICHIGAN ANN ARBOR, MI AND

Source URL: sharps.org